Quotients of the Multiplihedron as Categorified Associahedra

Abstract We describe a new sequence of polytopes which characterize A∞-maps from a topological monoid to an A∞-space. Therefore each of these polytopes is a quotient of the corresponding multiplihedron. Our sequence of polytopes is demonstrated not to be combinatorially equivalent to the associahedra, as was previously assumed in both topological and categorical literature. They are given the new collective name composihedra. We point out how these polytopes are used to parametrize compositions in the formulation of the theories of enriched bicategories and pseudomonoids in a monoidal bicategory. We also present a simple algorithm for determining the extremal points in Euclidean space whose convex hull is the n polytope in the sequence of composihedra, that is, the n composihedron CK(n).